pension of such an official - Spanish English Dictionary